More from this Author
Found 3 books by José Meseguer (Editor)
Foundations of Security, Protocols, and Equational Reasoning
by Joshua D. Guttman (Editor), Carl E. Landwehr (Editor), José Meseguer (Editor), Dusko Pavlovic (Editor)
Specification, Algebra, and Software
by Shusaku Iida (Editor), José Meseguer (Editor), Kazuhiro Ogata (Editor)
Specification, Algebra, and Software
by Shusaku Iida (Editor), Jose Meseguer (Editor), Kazuhiro Ogata (Editor), José Meseguer (Editor)